(${etc}DOC): Fix file name of make-docfile.
authorStefan Monnier <monnier@iro.umontreal.ca>
Wed, 30 Jun 2004 19:31:30 +0000 (19:31 +0000)
committerStefan Monnier <monnier@iro.umontreal.ca>
Wed, 30 Jun 2004 19:31:30 +0000 (19:31 +0000)
commit58001c18da44b2c38509066b801db3cf64fdc6f2
tree197f3cf50169f00dd25b411103fd77a857d1a274
parent05e04e8f2359871c8b9061b73191d17a521e64d9
(${etc}DOC): Fix file name of make-docfile.
src/Makefile.in